<html>
<head><meta charset="utf-8"><title>meeting 2019.12.03 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html">meeting 2019.12.03</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="182489430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489430">(Dec 03 2019 at 20:02)</a>:</h4>
<p>oops, hello :)</p>



<a name="182489516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489516">(Dec 03 2019 at 20:03)</a>:</h4>
<p>hi <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> :)</p>



<a name="182489707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489707">(Dec 03 2019 at 20:05)</a>:</h4>
<p>this week has been short on time so I wasn't able to do much but</p>



<a name="182489726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489726">(Dec 03 2019 at 20:05)</a>:</h4>
<p>Me neither :(</p>



<a name="182489774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489774">(Dec 03 2019 at 20:06)</a>:</h4>
<p>(and also I'm not sure Niko's fully back from vacation)</p>



<a name="182489786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489786">(Dec 03 2019 at 20:06)</a>:</h4>
<p>Honestly, I've done literally nothing on Polonius since last week</p>



<a name="182489802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489802">(Dec 03 2019 at 20:06)</a>:</h4>
<p>it's ok :)</p>



<a name="182489815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489815">(Dec 03 2019 at 20:06)</a>:</h4>
<p>you have a lot on your plate elsewhere already</p>



<a name="182489818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489818">(Dec 03 2019 at 20:07)</a>:</h4>
<p>1) we've managed to at least merge the version bumps so that we can use placeholder loans in rustc</p>



<a name="182489846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489846">(Dec 03 2019 at 20:07)</a>:</h4>
<p>unfortunately, I think only niko can release so it's not yet completely usable</p>



<a name="182489883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489883">(Dec 03 2019 at 20:07)</a>:</h4>
<p>2) I've been using the git rev to rebase my <a href="https://github.com/lqd/rust/commits/placeholder_loans" target="_blank" title="https://github.com/lqd/rust/commits/placeholder_loans">https://github.com/lqd/rust/commits/placeholder_loans</a> branch, so as soon as we have a release, it should be quick to make a PR</p>



<a name="182489953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489953">(Dec 03 2019 at 20:08)</a>:</h4>
<p>I wasn't sure about the testing part, as most of it is done in the compare-mode</p>



<a name="182489976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182489976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182489976">(Dec 03 2019 at 20:08)</a>:</h4>
<p>but I've added some simple smoke tests in the regular ui suite just in case</p>



<a name="182490008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490008">(Dec 03 2019 at 20:09)</a>:</h4>
<p>I don't know if <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> has ideas about that, or if it'd be enough</p>



<a name="182490015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490015">(Dec 03 2019 at 20:09)</a>:</h4>
<p>Argh wsorry</p>



<a name="182490019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490019">(Dec 03 2019 at 20:09)</a>:</h4>
<p>So I'm here now :)</p>



<a name="182490025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490025">(Dec 03 2019 at 20:09)</a>:</h4>
<p>Please direct me at what I can do be of max use</p>



<a name="182490030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490030">(Dec 03 2019 at 20:09)</a>:</h4>
<p>I think it's enough but hey I dunno :p</p>



<a name="182490038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490038">(Dec 03 2019 at 20:09)</a>:</h4>
<p>I'm pretty confused about current state :)</p>



<a name="182490047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490047">(Dec 03 2019 at 20:09)</a>:</h4>
<p>Still getting brain back in gear from vacation</p>



<a name="182490061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490061">(Dec 03 2019 at 20:09)</a>:</h4>
<p>hello <span class="user-mention" data-user-id="116009">@nikomatsakis</span> welcome back from ICE-land :)</p>



<a name="182490123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490123">(Dec 03 2019 at 20:10)</a>:</h4>
<p>lol</p>



<a name="182490143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490143">(Dec 03 2019 at 20:10)</a>:</h4>
<p>current state for you: could you publish a new polonius release ?</p>



<a name="182490155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490155">(Dec 03 2019 at 20:10)</a>:</h4>
<p>we've done the versions bump et al (correctly, we think)</p>



<a name="182490167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490167">(Dec 03 2019 at 20:10)</a>:</h4>
<p>I could -- do you not have the privs to do it?</p>



<a name="182490170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490170">(Dec 03 2019 at 20:10)</a>:</h4>
<p>should I merge any PRs first?</p>



<a name="182490171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490171">(Dec 03 2019 at 20:10)</a>:</h4>
<p>but couldn't publish as none of us are owners on <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> IIUC</p>



<a name="182490175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490175">(Dec 03 2019 at 20:11)</a>:</h4>
<p>oh dear, we should fix that</p>



<a name="182490184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490184">(Dec 03 2019 at 20:11)</a>:</h4>
<blockquote>
<p>should I merge any PRs first?</p>
</blockquote>
<p>I don't think so no</p>



<a name="182490190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490190">(Dec 03 2019 at 20:11)</a>:</h4>
<p>my desktop is still dead, so I actually have to set that stuff up on my WSL instance I guess</p>



<a name="182490203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490203">(Dec 03 2019 at 20:11)</a>:</h4>
<p>it's not urgent or anything</p>



<a name="182490230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490230">(Dec 03 2019 at 20:11)</a>:</h4>
<p>as soon as we have that I can rebase my branch and open the subset errors PR on the rustc side</p>



<a name="182490278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490278">(Dec 03 2019 at 20:12)</a>:</h4>
<blockquote>
<p>Please direct me at what I can do be of max use</p>
</blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/65232" target="_blank" title="https://github.com/rust-lang/rust/issues/65232">#65232</a> <span aria-label="wink" class="emoji emoji-1f609" role="img" title="wink">:wink:</span></p>



<a name="182490298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490298">(Dec 03 2019 at 20:12)</a>:</h4>
<p>haha</p>



<a name="182490393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490393">(Dec 03 2019 at 20:13)</a>:</h4>
<blockquote>
<p>but I've added some simple smoke tests in the regular ui suite just in case</p>
</blockquote>
<p>That sounds fine. I think the main thing that needs to be tested is that the integration works at all (which was the motivation behind the original test that I added).</p>



<a name="182490449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490449">(Dec 03 2019 at 20:14)</a>:</h4>
<p>as soon as the release is done, I'll open the PR and r? you Niko ? (since you've already read the branch) or would you rather someone else take it to have more time do the important things such as the universe PR :p</p>



<a name="182490507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490507">(Dec 03 2019 at 20:15)</a>:</h4>
<blockquote>
<p>That sounds fine. I think the main thing that needs to be tested is that the integration works at all (which was the motivation behind the original test that I added).</p>
</blockquote>
<p>yeah I think we're good on that side, I had added some more of those last time when we were fixing the <code>killed</code> fact gen bugs for example</p>



<a name="182490567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490567">(Dec 03 2019 at 20:16)</a>:</h4>
<p>and 3) I spent some time looking at <a href="https://github.com/nikomatsakis/borrowck/tree/master/test" target="_blank" title="https://github.com/nikomatsakis/borrowck/tree/master/test">https://github.com/nikomatsakis/borrowck/tree/master/test</a> to have more ideas to help with Albin's testing</p>



<a name="182490696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490696">(Dec 03 2019 at 20:16)</a>:</h4>
<p>I wasn't able to get to anything concrete yet tho</p>



<a name="182490743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490743">(Dec 03 2019 at 20:17)</a>:</h4>
<p>Did you get to anything non-concrete?</p>



<a name="182490770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490770">(Dec 03 2019 at 20:17)</a>:</h4>
<p>yeah, like wishing for more time to work on this for example :p</p>



<a name="182490862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490862">(Dec 03 2019 at 20:18)</a>:</h4>
<p>4) ah I did take a quick look at Niko's chalk+polonius branch</p>



<a name="182490865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490865">(Dec 03 2019 at 20:18)</a>:</h4>
<p>and that's about all from me</p>



<a name="182490873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490873">(Dec 03 2019 at 20:18)</a>:</h4>
<p>chalonius</p>



<a name="182490884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490884">(Dec 03 2019 at 20:18)</a>:</h4>
<p>polk?</p>



<a name="182490889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490889">(Dec 03 2019 at 20:19)</a>:</h4>
<p>Ok I'll show myself out</p>



<a name="182490901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490901">(Dec 03 2019 at 20:19)</a>:</h4>
<p>chalkonius sounds acceptable</p>



<a name="182490906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490906">(Dec 03 2019 at 20:19)</a>:</h4>
<p>/me got distracted</p>



<a name="182490911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490911">(Dec 03 2019 at 20:19)</a>:</h4>
<p>/me reads backscroll</p>



<a name="182490932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490932">(Dec 03 2019 at 20:19)</a>:</h4>
<p>Jokes aside, I didn't know there was one!</p>



<a name="182490938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490938">(Dec 03 2019 at 20:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> for the release, all the version updates are already done?</p>



<a name="182490943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490943">(Dec 03 2019 at 20:19)</a>:</h4>
<p>yep</p>



<a name="182490992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490992">(Dec 03 2019 at 20:20)</a>:</h4>
<p>maybe take a ganderjust in case</p>



<a name="182490999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182490999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182490999">(Dec 03 2019 at 20:20)</a>:</h4>
<p>there was some weirdness in releases.md</p>



<a name="182491046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491046">(Dec 03 2019 at 20:20)</a>:</h4>
<p>there were version numbers but no cargo.toml version bumps associated to those numbers</p>



<a name="182491066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491066">(Dec 03 2019 at 20:21)</a>:</h4>
<p>hmm well</p>



<a name="182491070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491070">(Dec 03 2019 at 20:21)</a>:</h4>
<p>so <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> has a 0.10.0</p>



<a name="182491086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491086">(Dec 03 2019 at 20:21)</a>:</h4>
<p>ok ok I see that master is 0.11.0</p>



<a name="182491118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491118">(Dec 03 2019 at 20:21)</a>:</h4>
<p>publishing now</p>



<a name="182491119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491119">(Dec 03 2019 at 20:21)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span>  <a href="https://github.com/nikomatsakis/chalk-ndm/tree/outlives" target="_blank" title="https://github.com/nikomatsakis/chalk-ndm/tree/outlives">https://github.com/nikomatsakis/chalk-ndm/tree/outlives</a> that's "vacation" for you :)</p>



<a name="182491169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491169">(Dec 03 2019 at 20:22)</a>:</h4>
<p>also, wg-polonius is an owner of the crate</p>



<a name="182491177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491177">(Dec 03 2019 at 20:22)</a>:</h4>
<p>and I think both of you belong to that</p>



<a name="182491197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491197">(Dec 03 2019 at 20:22)</a>:</h4>
<p>I did try to publish and <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> didn't let me cause I wasn't an owner</p>



<a name="182491240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491240">(Dec 03 2019 at 20:23)</a>:</h4>
<p>this week I'd like to be able to open the subset errors PR (that should be likely to happen) at the very least</p>



<a name="182491252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491252">(Dec 03 2019 at 20:23)</a>:</h4>
<p>Niko you mentioned wanting us to have some kind of "sprint report" for Inside Rust ?</p>



<a name="182491350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491350">(Dec 03 2019 at 20:24)</a>:</h4>
<p>(<a href="https://crates.io/crates/polonius-engine/owners" target="_blank" title="https://crates.io/crates/polonius-engine/owners">https://crates.io/crates/polonius-engine/owners</a> lists only Niko, and no wg-polonius)</p>



<a name="182491353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491353">(Dec 03 2019 at 20:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> published</p>



<a name="182491361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491361">(Dec 03 2019 at 20:24)</a>:</h4>
<p>yay, thanks a lot :)</p>



<a name="182491368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491368">(Dec 03 2019 at 20:24)</a>:</h4>
<p>Yay!</p>



<a name="182491393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491393">(Dec 03 2019 at 20:25)</a>:</h4>
<p>Once <span class="user-mention" data-user-id="116113">@lqd</span>'s branch lands, I'll rebase on that and try to wrap up my PR, which includes some testing</p>



<a name="182491426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491426">(Dec 03 2019 at 20:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you a have a preference for <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202019.2E12.2E03/near/182490449" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202019.2E12.2E03/near/182490449">https://rust-lang.zulipchat.com/#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202019.2E12.2E03/near/182490449</a> ? I'm sure Matthew can review it when I open it (if they have time ofc, it's not urgent at all)</p>



<a name="182491554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491554">(Dec 03 2019 at 20:27)</a>:</h4>
<p>mmm I don't mind r? but I am sort of behind --</p>



<a name="182491567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491567">(Dec 03 2019 at 20:27)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> remind me, besides some of the testing we mentioned (and which should mostly be tackled by rustc's tests), and some reviewing, this PR is 99% ready right ?</p>



<a name="182491570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491570">(Dec 03 2019 at 20:27)</a>:</h4>
<p>I'd be happy for <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> to review</p>



<a name="182491697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491697">(Dec 03 2019 at 20:28)</a>:</h4>
<p>(it's pretty small, and mostly follows the implementation steps in the hackmd)</p>



<a name="182491720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491720">(Dec 03 2019 at 20:28)</a>:</h4>
<p>What the size of the diff?</p>



<a name="182491775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491775">(Dec 03 2019 at 20:29)</a>:</h4>
<p>around +600/-30 including blessed tests and long comments</p>



<a name="182491878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491878">(Dec 03 2019 at 20:30)</a>:</h4>
<p>Doesn't sound that bad then.</p>



<a name="182491895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491895">(Dec 03 2019 at 20:30)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/compare/master...lqd:placeholder_loans?expand=1" target="_blank" title="https://github.com/rust-lang/rust/compare/master...lqd:placeholder_loans?expand=1">https://github.com/rust-lang/rust/compare/master...lqd:placeholder_loans?expand=1</a> for a quick look</p>



<a name="182491898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491898">(Dec 03 2019 at 20:30)</a>:</h4>
<p>yeah</p>



<a name="182491923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491923">(Dec 03 2019 at 20:30)</a>:</h4>
<p>again not at all urgent if you have better things to do, which I assume you do :)</p>



<a name="182491943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491943">(Dec 03 2019 at 20:30)</a>:</h4>
<p>(and I'll open it tomorrow)</p>



<a name="182491974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491974">(Dec 03 2019 at 20:31)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="204115">Albin Stjerna</span> remind me, besides some of the testing we mentioned (and which should mostly be tackled by rustc's tests), and some reviewing, this PR is 99% ready right ?</p>
</blockquote>
<p>Yes I think so!</p>



<a name="182491998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182491998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182491998">(Dec 03 2019 at 20:31)</a>:</h4>
<p>great!</p>



<a name="182492088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182492088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182492088">(Dec 03 2019 at 20:32)</a>:</h4>
<p>alright, seems like we're about done</p>



<a name="182492111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182492111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182492111">(Dec 03 2019 at 20:33)</a>:</h4>
<p>thanks a lot everyone :) <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="182492245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182492245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182492245">(Dec 03 2019 at 20:34)</a>:</h4>
<p>we should figure out <span class="user-mention" data-user-id="116113">@lqd</span> why you can't publish</p>



<a name="182492316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182492316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182492316">(Dec 03 2019 at 20:35)</a>:</h4>
<p>I'm not versed at all in <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> publishing, like does it have a notion of "wg-polonius" and all. the website only lists you as the owner <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="182492463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182492463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182492463">(Dec 03 2019 at 20:36)</a>:</h4>
<p>I do wonder if that could also happen with chalk, datafrog, or similar crates worked on by other working groups</p>



<a name="182500979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182500979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182500979">(Dec 03 2019 at 21:56)</a>:</h4>
<p>wait</p>



<a name="182501004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501004">(Dec 03 2019 at 21:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> so the <em>polonius</em> crate</p>



<a name="182501028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501028">(Dec 03 2019 at 21:56)</a>:</h4>
<p>well actually both polonius and polonius-engine have <a href="https://crates.io/teams/github:rust-lang:wg-polonius" target="_blank" title="https://crates.io/teams/github:rust-lang:wg-polonius">https://crates.io/teams/github:rust-lang:wg-polonius</a> listed as an owner</p>



<a name="182501064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501064">(Dec 03 2019 at 21:57)</a>:</h4>
<p>wow, and <a href="https://crates.io/crates/polonius-engine/owners" target="_blank" title="https://crates.io/crates/polonius-engine/owners">https://crates.io/crates/polonius-engine/owners</a> doesn't</p>



<a name="182501158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501158">(Dec 03 2019 at 21:58)</a>:</h4>
<p><a href="https://github.com/orgs/rust-lang/teams/wg-polonius" target="_blank" title="https://github.com/orgs/rust-lang/teams/wg-polonius">https://github.com/orgs/rust-lang/teams/wg-polonius</a></p>



<a name="182501161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501161">(Dec 03 2019 at 21:58)</a>:</h4>
<p>you are a member there</p>



<a name="182501181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501181">(Dec 03 2019 at 21:58)</a>:</h4>
<p>weird</p>



<a name="182501182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501182">(Dec 03 2019 at 21:58)</a>:</h4>
<p>yeah</p>



<a name="182501215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501215">(Dec 03 2019 at 21:59)</a>:</h4>
<p>I did the login and setup, the dry-run publishing, it tested and compiled and all</p>



<a name="182501229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501229">(Dec 03 2019 at 21:59)</a>:</h4>
<p>and then failed with saying I wasn't an owner</p>



<a name="182501323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501323">(Dec 03 2019 at 22:00)</a>:</h4>
<p>oh wow</p>



<a name="182501334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501334">(Dec 03 2019 at 22:00)</a>:</h4>
<p><a href="https://crates.io/crates/polonius-engine" target="_blank" title="https://crates.io/crates/polonius-engine">https://crates.io/crates/polonius-engine</a> now lists 4 owners in the lower right</p>



<a name="182501390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501390">(Dec 03 2019 at 22:01)</a>:</h4>
<p>3 for <a href="https://crates.io/crates/polonius" target="_blank" title="https://crates.io/crates/polonius">https://crates.io/crates/polonius</a></p>



<a name="182501395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501395">(Dec 03 2019 at 22:01)</a>:</h4>
<p>and only you for <a href="https://crates.io/crates/polonius-parser/" target="_blank" title="https://crates.io/crates/polonius-parser/">https://crates.io/crates/polonius-parser/</a></p>



<a name="182501712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501712">(Dec 03 2019 at 22:04)</a>:</h4>
<p>maybe some kind of desynchronisation with github; I'll try it next time (eg for Albin's move errors) to check if the now-listed wg-polonius owner can indeed publish :)</p>



<a name="182501789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182501789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182501789">(Dec 03 2019 at 22:05)</a>:</h4>
<p>thanks if you did something ! (and also for publishing)</p>



<a name="182548139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182548139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182548139">(Dec 04 2019 at 11:47)</a>:</h4>
<p>PR is posted <a href="https://github.com/rust-lang/rust/pull/67016" target="_blank" title="https://github.com/rust-lang/rust/pull/67016">https://github.com/rust-lang/rust/pull/67016</a></p>



<a name="182647496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182647496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182647496">(Dec 05 2019 at 10:51)</a>:</h4>
<p>though I have a feeling <a href="https://github.com/rust-lang/rust/pull/66815" target="_blank" title="https://github.com/rust-lang/rust/pull/66815">https://github.com/rust-lang/rust/pull/66815</a> is going to conflict with it</p>



<a name="182858052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.03/near/182858052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E03.html#182858052">(Dec 07 2019 at 19:24)</a>:</h4>
<p>thanks for the review <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>